Abstract type

Results: 1261



#Item
681Abstract algebra / Homotopy type theory / Homotopy / Groupoid / Function / Fundamental group / Model category / Curry–Howard correspondence / Type theory / Mathematics / Homotopy theory / Topology

95 Homotopy type theory ´ Alvaro Pelayo1 , Michael A. Warren2

Add to Reading List

Source URL: smf4.emath.fr

Language: English - Date: 2014-10-17 09:03:44
682Polymorphism / Computer programming / Type theory / Generics in Java / Object-oriented programming / Wildcard / Java / Type safety / Dynamic array / Software engineering / Computing / Java programming language

Generics in Java – Part I Venkat Subramaniam [removed] http://www.agiledeveloper.com/download.aspx Abstract Java 5 (JDK 1.5) introduced the concept of Generics or parameterized types. In this

Add to Reading List

Source URL: agiledeveloper.com

Language: English - Date: 2010-08-05 09:38:44
683Object-oriented programming / Trait / Smalltalk / Mixin / Multiple inheritance / Self / Abstract type / Inheritance / Class browser / Software engineering / Computer programming / Computing

Applying Traits to the Smalltalk Collection Hierarchy Andrew Black, Nathanael Schärli and Stéphane Ducasse Department of Computer Science and Engineering OGI School of Science & Engineering Oregon Health & Science Univ

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2002-12-18 08:43:26
684Object-oriented programming / Smalltalk / VisualWorks / Objective-C / Abstract type / IBM VisualAge / Self / Design Patterns / Reflection / Software engineering / Computer programming / Computing

JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering ©JOT, 2002 Vol. 1, No. 1, May-June[removed]Adding Dynamic Interfaces to Smalltalk

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2002-10-29 09:35:00
685Computer programming / Trait / Abstract type / Mixin / Multiple inheritance / Constructor / Self / Method / Phenotypic trait / Software engineering / Type theory / Computing

Oscar Nierstrasz, St´ ephane Ducasse and Nathanael Sch¨ arli Software Composition Group, University Of Bern Vol. 5, No. 4, May–June 2006

Add to Reading List

Source URL: rmod.lille.inria.fr

Language: English - Date: 2012-07-29 09:42:05
686Object-oriented programming / ASP.NET / Microsoft Visual Studio / Foreach loop / Type system / Null / Property / Computing / Software engineering / Software

Custom Design Time UI in .NET Venkat Subramaniam [removed] http://www.agiledeveloper.com/download.aspx Abstract Visual Studio allows us to change various properties of controls at design time. Well

Add to Reading List

Source URL: agiledeveloper.com

Language: English - Date: 2010-08-05 09:38:44
687Immune system / COX-2 inhibitors / Organochlorides / Pyridines / Etoricoxib / Allergen / Cyclooxygenase / Spirometry / Atopy / Medicine / Pulmonology / Respiratory therapy

Abstract[removed]Safety of the COX-2 inhibitor etoricoxib in allergen-challenged asthmatics Type: Scientific Abstract[removed]Airway Responsiveness: Immunologic and Inflammatory Mechanisms Category:

Add to Reading List

Source URL: www.europeanlung.org

Language: English - Date: 2014-03-31 06:18:40
688Abstract data types / Computer programming / Array data type / Associative array / Pointer / List / Hash table / Reference / C / Data types / Computing / Software engineering

Collections Programming Topics Contents About Collections 6

Add to Reading List

Source URL: developer.apple.com

Language: English - Date: 2015-02-09 21:31:59
689Data types / C++ / Primitive types / Type theory / C programming language / Pointer / C / Type safety / Reference / Software engineering / Computing / Computer programming

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2015-01-28 05:35:17
690Polymorphism / Computer programming / Type theory / Generics in Java / Object-oriented programming / Wildcard / Java / Type safety / Dynamic array / Software engineering / Computing / Java programming language

Generics in Java – Part I Venkat Subramaniam [removed] http://www.agiledeveloper.com/download.aspx Abstract Java 5 (JDK 1.5) introduced the concept of Generics or parameterized types. In this

Add to Reading List

Source URL: www.agiledeveloper.com

Language: English - Date: 2010-08-05 09:38:44
UPDATE